Process Specification Language

Results: 89



#Item
61Earth sciences graphics software / Array programming languages / Component-based software engineering / Inter-process communication / Object-oriented programming / IDL / Common Object Request Broker Architecture / Interface description language / Software Communications Architecture / Computing / Software engineering / Computer programming

SCA Specification Version: [removed]October[removed]SOFTWARE COMMUNICATIONS ARCHITECTURE

Add to Reading List

Source URL: jtnc.mil

Language: English - Date: 2014-01-13 17:16:34
62Software / Business Process Model and Notation / Diagrams / Software development / Workflow technology / Software development methodology / XPDL / Business Process Execution Language / Process management / Design / Management

Process Modelling and IT-Specification with BPMN 2.0 Highlights •

Add to Reading List

Source URL: www.omg.org

Language: English - Date: 2013-01-30 10:23:55
63Systems engineering / Software project management / Systems Modeling Language / Software Requirements Specification / Requirement / Functional requirement / Misuse case / Systems engineering process / Database / Software development / Software requirements / Software

Computer Science Technical Report Analysing Requirements to Detect Latent Security Vulnerabilities Curtis C.R. Busby-Earle

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2013-11-14 19:35:05
64Computer file formats / Technical communication / Markup languages / EbXML / United Nations Economic and Social Council / Metadata / OASIS / Unified Modeling Language / UN/CEFACT / Computing / Information / Data

Business Process Team May 2001 Business Process Specification Schema v1.01 Business Process Team

Add to Reading List

Source URL: www.ebxml.org

Language: English - Date: 2014-06-20 13:06:23
65Semantic Web / Ontology / Web 2.0 / Information science / Folksonomy / Tag / Process Specification Language / Information / Knowledge representation / Data

file://C:uments and Settingsstyktop.html

Add to Reading List

Source URL: www.mel.nist.gov

Language: English - Date: 2007-05-01 12:02:09
66Computing / Web services / Service-oriented architecture / Middleware / Business Process Execution Language / Loose coupling / Middleware analyst / Event-driven SOA / Enterprise application integration / Information technology management / Software architecture

Service Oriented Architecture Specification

Add to Reading List

Source URL: xml.coverpages.org

Language: English - Date: 2005-07-31 09:39:32
67Scripting languages / Procedural programming languages / Inter-process communication / Configuration files / Computer file formats / Windows Registry / Batch file / File system / Test / Computing / Software engineering / Computer programming

The MITRE Corporation The OVAL® Language Windows Component Model Specification Version 5.11 Danny Haynes, Stelios Melachrinoudis[removed]

Add to Reading List

Source URL: oval.mitre.org

Language: English - Date: 2013-09-25 17:27:23
68Enterprise application integration / Java enterprise platform / Java specification requests / Middleware / Business Process Execution Language / Communications protocol / Message passing / Peer-to-peer / Web service / Computing / Concurrent computing / Inter-process communication

Design for Verification for Asynchronously Communicating Web Services Tevfik Bultan Computer Science Department

Add to Reading List

Source URL: www2005.org

Language: English - Date: 2005-03-31 09:09:20
69ISO standards / Systems science / Knowledge representation / Ontology / Data modeling / Process Specification Language / Enterprise modelling / Process modeling / Object Constraint Language / Systems engineering / Unified Modeling Language / Science

Introduction to the Process Specification Language Conrad Bock U.S. National Institute of Standards and Technology April 7, 2009

Add to Reading List

Source URL: www.conradbock.org

Language: English - Date: 2009-04-01 13:38:23
70Knowledge / Validation / Verification / Formal verification / Runtime verification / Specification / Formal specification / Software development process / Modeling language / Formal methods / Science / Technology

UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software

Add to Reading List

Source URL: edocs.nps.edu

Language: English - Date: 2010-06-14 15:13:00
UPDATE